$\forall$$R$:es\_realizer\{i:l\}, $z$,$i$:Id. R{-}occurs($R$; $i$; $z$) $\in$ $\mathbb{B}$